Maibaum, T.S.E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

Pablo F. Castro, T.S.E. Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 335 KB

english, 2009

2

Micelle Formation and the Hydrophobic Effect†

Maibaum, Lutz, Dinner, Aaron R., Chandler, David

Journal:

Journal of Physical Chemistry B

Year:

2004

Language:

english

File:

PDF, 65 KB

english, 2004

3

Deontic action logic, atomic boolean algebras and fault-tolerance

Pablo F. Castro, T.S.E. Maibaum

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 363 KB

english, 2009

4

F.P. Yockey's “Imperium”

Maibaum, Matthew

Journal:

Patterns of Prejudice

Year:

1973

Language:

english

File:

PDF, 522 KB

english, 1973

5

Rosetta Lander – Philae: Landing preparations

Ulamec, Stephan, Biele, Jens, Blazquez, Alejandro, Cozzoni, Barbara, Delmas, Cedric, Fantinati, Cinzia, Gaudon, Philippe, Geurts, Koen, Jurado, Eric, Küchemann, Oliver, Lommatsch, Valentina, Maibaum,

Journal:

Acta Astronautica

Year:

2015

Language:

english

File:

PDF, 1.42 MB

english, 2015

6

Blue‐print of the far right

Maibaum, Matthew

Journal:

Journal of Ethnic and Migration Studies

Year:

1974

Language:

english

File:

PDF, 446 KB

english, 1974

7

What we teach software engineers in the university

Maibaum, Tom S. E.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 886 KB

english, 1997

8

Temporal Reasoning over Deontic Specifications

FIADEIRO, J., MAIBAUM, T.

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.90 MB

english, 1991

9

Abstract Data Types and Type Theory: Theories as Types

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 1.16 MB

english, 1991

10

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

11

On what exactly goes on when software is developed step-by-step, II: The sequel

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 163 KB

english, 2003

12

A generalized approach to formal languages

Journal:

Journal of Computer and System Sciences

Year:

1974

Language:

english

File:

PDF, 1.39 MB

english, 1974

13

Five-year results of conservatively treated tears of the anterior cruciate ligament

E. Neusel, S. Maibaum, G. Rompe

Journal:

Archives of Orthopaedic and Trauma Surgery

Year:

1996

Language:

english

File:

PDF, 458 KB

english, 1996

14

On the design and specification of message oriented programs

Paulo R. F. Cunha, Carlos J. Lucena, T. S. E. Maibaum

Journal:

International Journal of Parallel Programming

Year:

1980

Language:

english

File:

PDF, 1.61 MB

english, 1980

15

Evidence-Based Electronic Contract Performance Monitoring

Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum

Journal:

Group Decision and Negotiation

Year:

2002

Language:

english

File:

PDF, 188 KB

english, 2002

16

A single flux quantum circuit with a ferromagnet-based Josephson π-junction

Khabipov, M I, Balashov, D V, Maibaum, F, Zorin, A B, Oboznov, V A, Bolginov, V V, Rossolenko, A N, Ryazanov, V V

Journal:

Superconductor Science and Technology

Year:

2010

Language:

english

File:

PDF, 714 KB

english, 2010

17

Rosetta Lander—After seven years of cruise, prepared for hibernation

Stephan Ulamec, Jens Biele, Cinzia Fantinati, Jean-François Fronton, Philippe Gaudon, Koen Geurts, Christian Krause, Oliver Küchemann, Michael Maibaum, Brigitte Pätz, Reinhard Roll, Rainer Willnecker

Journal:

Acta Astronautica

Year:

2012

Language:

english

File:

PDF, 904 KB

english, 2012

18

Encapsulating deontic and branching time specifications

Castro, Pablo F., Maibaum, Thomas S.E.

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

19

MSMBuilder2: Modeling Conformational Dynamics on the Picosecond to Millisecond Scale

Beauchamp, Kyle A., Bowman, Gregory R., Lane, Thomas J., Maibaum, Lutz, Haque, Imran S., Pande, Vijay S.

Journal:

Journal of Chemical Theory and Computation

Year:

2011

Language:

english

File:

PDF, 2.93 MB

english, 2011

20

[IEEE 2014 IEEE Aerospace Conference - Big Sky, MT, USA (2014.3.1-2014.3.8)] 2014 IEEE Aerospace Conference - OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft

Ludtke, Daniel, Westerdorff, Karsten, Stohlmann, Kai, Borner, Anko, Maibaum, Olaf, Peng, Ting, Weps, Benjamin, Fey, Gorschwin, Gerndt, Andreas

Year:

2014

Language:

english

File:

PDF, 3.41 MB

english, 2014

21

[IEEE Proceedings International Mobility and Wireless Access Workshop (MobiWac 2002) Held in conjunction with MASCOTS 2002 - Fort Worth, TX, USA (2002.10.12-2002.10.12)] International Mobility and Wireless Access Workshop - JXTA: a technology facilitating mobile peer-to-peer networks

Maibaum, N., Mundt, T.

Year:

2002

Language:

english

File:

PDF, 398 KB

english, 2002

22

[IEEE 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence

Grigorova, S, Maibaum, T S E

Year:

2013

Language:

english

File:

PDF, 343 KB

english, 2013

23

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers

Castro, Pablo F., Maibaum, T.S.E.

Year:

2007

Language:

english

File:

PDF, 399 KB

english, 2007

24

Survivalism in the USA

Maibaum, Matthew

Journal:

Patterns of Prejudice

Year:

1986

Language:

english

File:

PDF, 196 KB

english, 1986

25

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 5256 || A Process Semantics for BPMN

Liu, Shaoying, Maibaum, Tom, Araki, Keijiro

Year:

2008

Language:

english

File:

PDF, 325 KB

english, 2008

26

[IEEE Comput. Soc Sixth IEEE Symposium on Computers and Communications - Hammamet, Tunisia (3-5 July 2001)] Proceedings. Sixth IEEE Symposium on Computers and Communications - Extending the data storage capabilities of a Java-based smartcard

Cap, C.H., Maibaum, N., Heyden, L.

Year:

2001

Language:

english

File:

PDF, 547 KB

english, 2001

27

A Practical Manual of Screen Playwriting for Theater and Television Filmsby Lewis Herman

Review by: Richard Maibaum

Journal:

Journal of the University Film Producers Association

Year:

1953

Language:

english

File:

PDF, 214 KB

english, 1953

28

Rosetta Lander – Landing and operations on comet 67P/Churyumov–Gerasimenko

Ulamec, Stephan, Fantinati, Cinzia, Maibaum, Michael, Geurts, Koen, Biele, Jens, Jansen, Sven, Küchemann, Oliver, Cozzoni, Barbara, Finke, Felix, Lommatsch, Valentina, Moussi-Soffys, Aurelie, Delmas,

Journal:

Acta Astronautica

Year:

2016

Language:

english

File:

PDF, 2.32 MB

english, 2016

29

Small-molecule factor D inhibitors targeting the alternative complement pathway

Maibaum, Jürgen, Liao, Sha-Mei, Vulpetti, Anna, Ostermann, Nils, Randl, Stefan, Rüdisser, Simon, Lorthiois, Edwige, Erbel, Paul, Kinzel, Bernd, Kolb, Fabrice A, Barbieri, Samuel, Wagner, Julia, Durand

Journal:

Nature Chemical Biology

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

30

Thermophysical modeling of Didymos’ moon for the Asteroid Impact Mission

Pelivan, Ivanka, Drube, Line, Kührt, Ekkehard, Helbert, Jörn, Biele, Jens, Maibaum, Michael, Cozzoni, Barbara, Lommatsch, Valentina

Journal:

Advances in Space Research

Year:

2017

Language:

english

File:

PDF, 3.76 MB

english, 2017

31

A theoretical framework for cardinality-based feature models: The semantics and computational aspects

Safilian, Aliakbar, Maibaum, Tom, Diskin, Zinovy

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

32

Innovationsphänomene || Innovationsgesellschaft und Innovationsfelder

Hergesell, Jannis, Maibaum, Arne, Minnetian, Clelia, Sept, Ariane

Year:

2018

Language:

german

File:

PDF, 310 KB

german, 2018

33

Innovationsphänomene || Von Slow Food zu Cittaslow

Hergesell, Jannis, Maibaum, Arne, Minnetian, Clelia, Sept, Ariane

Year:

2018

Language:

german

File:

PDF, 246 KB

german, 2018

34

Chilaiditi's syndrome and obesity

J.M. Murphy, A. Maibaum, G. Alexander, A.K. Dixon

Journal:

Clinical Anatomy

Year:

2000

Language:

english

File:

PDF, 121 KB

english, 2000

35

Identification of intervals on chromosomes 1, 3, and 13 linked to the development of lupus in BXSB mice

Michelle E. K. Haywood, Maxine B. Hogarth, Jason H. Slingsby, S. Jane Rose, Penny J. Allen, E. Mary Thompson, Michael A. Maibaum, Phillip Chandler, Kevin A. Davies, Elizabeth Simpson, Mark J. Walport,

Journal:

Arthritis & Rheumatism

Year:

2000

Language:

english

File:

PDF, 97 KB

english, 2000

36

Pyridino-protophane mit Alkylensegmenten wechselnder Länge

Prof. Dr. Thomas Kauffmann, Gerhard Beißner, Rüdiger Maibaum

Journal:

Angewandte Chemie

Year:

1971

Language:

german

File:

PDF, 197 KB

german, 1971

37

Pyridinoprotophanes with Alkylene Segments of Various Lengths

Prof. Dr. Thomas Kauffmann, Dipl.-Chem. Gerhard Beissner, Rüdiger Maibaum

Journal:

Angewandte Chemie International Edition

Year:

1971

Language:

english

File:

PDF, 204 KB

english, 1971

38

ChemInform Abstract: Design and Synthesis of Novel 2,7-Dialkyl Substituted 5(S)-Amino-4(S)-hydroxy-8-phenyl-octanecarboxamides as in vitro Potent Peptidomimetic Inhibitors of Human Renin.

R. GOESCHKE, N. C. COHEN, J. M. WOOD, J. MAIBAUM

Journal:

Year:

1998

File:

PDF, 31 KB

1998

39

ChemInform Abstract: A Convergent Synthesis Approach Towards CGP60536B, a Non-Peptide Orally Potent Renin Inhibitor, via an Enantiomerically Pure Ketolactone Intermediate.

Heinrich Rueeger, Stefan Stutz, Richard Goeschke, Felix Spindler, Juergen Maibaum

Journal:

Year:

2001

File:

PDF, 31 KB

2001

40

The Nonchiral Bislactim Diethoxy Ether as a Highly Stereo-Inducing Synthon for Sterically Hindered, γ-Branched α-Amino Acids: A Practical, Large-Scale Route to an Intermediate of the Novel Renin Inhibitor Aliskiren.

Richard Goeschke, Stefan Stutz, Walter Heinzelmann, Juergen Maibaum

Journal:

Year:

2003

Language:

english

File:

PDF, 143 KB

english, 2003

41

The Nonchiral Bislactim Diethoxy Ether as a Highly Stereo-Inducing Synthon for Sterically Hindered, γ-Branched α-Amino Acids: A Practical, Large-Scale Route to an Intermediate of the Novel Renin Inhibitor Aliskiren

Richard Göschke, Stefan Stutz, Walter Heinzelmann, Jürgen Maibaum

Journal:

Helvetica Chimica Acta

Year:

2003

Language:

english

File:

PDF, 327 KB

english, 2003

42

Enantiomers of benzothiadiazine diuretics by direct chromatographic resolution of the racemic drugs

Gottfried Blaschke, Jürgen Maibaum

Journal:

Journal of Pharmaceutical Sciences

Year:

1985

Language:

english

File:

PDF, 491 KB

english, 1985

43

Proof theory and computer programming

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1990

Language:

english

File:

PDF, 1.23 MB

english, 1990

44

Ein Störungssatz für Scharen vollstetiger Operatoren

Journal:

Mathematische Nachrichten

Year:

1970

Language:

german

File:

PDF, 293 KB

german, 1970

45

Zu einem Satz über Verteilungen quadratischer Formen in HILBERTräumen

H. Langer, G. Maibaum, P. H. Müller

Journal:

Mathematische Nachrichten

Year:

1974

Language:

german

File:

PDF, 266 KB

german, 1974

46

Über mehrdimensionale stochastische Ketten und stochastische Automaten

Gert Maibaum, Peter Mühlmann

Journal:

Mathematische Nachrichten

Year:

1975

Language:

german

File:

PDF, 668 KB

german, 1975

47

Pumping lemmas for term languages

Journal:

Journal of Computer and System Sciences

Year:

1978

Language:

english

File:

PDF, 664 KB

english, 1978

48

The P1 N-isopropyl motif bearing hydroxyethylene dipeptide isostere analogues of aliskiren are in vitro potent inhibitors of the human aspartyl protease renin

Yasuchika Yamaguchi, Keith Menear, Nissim-Claude Cohen, Robert Mah, Frédéric Cumin, Christian Schnell, Jeanette M. Wood, Jürgen Maibaum

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2009

Language:

english

File:

PDF, 363 KB

english, 2009

49

Survey of current protein family databases and their application in comparative, structural and functional genomics

Oliver Redfern, Alastair Grant, Michael Maibaum, Christine Orengo

Journal:

Journal of Chromatography B

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

50

On a generalized modularization theorem

Theodosis Dimitrakos, Tom Maibaum

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 109 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски